/*
 * RBlackDiamondR.h
 *
 *  Created on: May 6, 2012
 *      Author: kobe
 */

#ifndef RBLACKDIAMONDR_H_
#define RBLACKDIAMONDR_H_

#include "Rule.h"

class R_BlackDiamondR: public Rule {
public:
	R_BlackDiamondR();
	virtual ~R_BlackDiamondR();
	std::vector<Sequent*> run(Sequent* s);
	std::string toString();
	std::string toLatex();
private:
	bool test(Context*, Agent*);
};

#endif /* RBLACKDIAMONDR_H_ */
